$\forall$$n$:$\mathbb{N}$. $\parallel$upto($n$)$\parallel$ $\sim$ $n$